\vspace{-1cm}
\section{Implementation}
\label{sec:Implementation}

The architecture described in Fig. \ref{fig:approach} is implemented using AspectJ for monitoring the target application, XSB Prolog~\cite{XSB} for computing access control decisions and policy management and Java/interProlog~\cite{interProlog} for the communication between the \textsc{Pep} and the \textsc{Pdp}. \textsc{Emf}Text~\cite{emfText} is used for parsing \SAR's concrete syntax and creating models. %This section describes how each of these components is implemented.

\input{AML}
\input{PRL}
\input{PDP}
\input{PolicyUpdate}





